Polycategories via pseudo-distributive laws
نویسنده
چکیده
In this paper, we give a novel abstract description of Szabo’s polycategories. We use the theory of double clubs – a generalisation of Kelly’s theory of clubs to ‘pseudo’ (or ‘weak’) double categories – to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad onMod over itself qua pseudomonad, and show that monads in the ‘two-sided Kleisli bicategory’ of this pseudo-distributive law are precisely symmetric polycategories.
منابع مشابه
Pseudo-distributive laws
We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting structure, on a category. Extending work of Marmolejo and Lack, we develop the definition of a pseudo-distributive law between pseudo-monads, and we show how the definition and the main theorems about it may be used to model several such stru...
متن کاملOperads, clones, and distributive laws
We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day’s tensor products, or via analytical functors) fit with the profunctor approach.
متن کاملA monadic approach to polycategories
In the quest for an elegant formulation of the notion of “polycategory” we develop a more symmetric counterpart to Burroni’s notion of “T -category”, where T is a cartesian monad on a category X with pullbacks. Our approach involves two such monads, S and T , that are linked by a suitable generalization of a distributive law in the sense of Beck. This takes the form of a span TS ω ST in the fun...
متن کاملDistributive laws for the coinductive solution of recursive equations
This paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via infinite terms is in fact a special case of a more general approach using an extended form of coinduction via distributive laws.
متن کاملIterated distributive laws
We give a framework for combining n monads on the same category via distributive laws satisfying Yang-Baxter equations, extending the classical result of Barr and Wells which combines two monads via one distributive law. We show that this corresponds to iterating n-times the process of taking the 2-category of monads in a 2-category, extending the result of Street characterising distributive la...
متن کامل